Search results for "consequence operation"
showing 2 items of 2 documents
The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
2018
The notion of the equationally-defined commutator was introduced and thoroughly investigated in (Czelakowski, 2015). In this work the properties of the equationally-defined commutator in quasivarieties generated by two-element algebras are examined. It is proved: If a quasivariety Q is generated by a finite set of two-element algebras, then the equationally-defined commutator of Q is additive (Theorem 3.1) Moreover it satisfies the associativity law (Theorem 3.6). The second result is strengthened if the quasivariety is generated by a single two-element algebra 2: If Q = SP(2), then the equationally-defined commutator of Q universally validates one of the following laws: [x,y] = x^y or [x,y…
On probabilistic interpretations of predicates
2016
In classical logic, any m-ary predicate is interpreted as an m-argument two-valued relation defined on a non-empty universe. In probability theory, m-ary predicates are interpreted as probability measures on the mth power of a probability space. m-ary probabilistic predicates are equivalently semantically characterized as m-dimensional cumulative distribution functions defined on Rm. The paper is mainly concerned with probabilistic interpretations of unary predicates in the algebra of cumulative distribution functions defined on R. This algebra, enriched with two constants, forms a bounded De Morgan algebra. Two logical systems based on the algebra of cumulative distributions are defined an…